<!DOCTYPE html>
<html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-0 vector-toc-not-available vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-0 skin-theme-clientpref-day vector-sticky-header-enabled" lang="de" dir="ltr"><head>
<meta charset="UTF-8">
<title>Allklasse</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="icon" type="image/png" href="./_res_/favicon.png">
<link rel="canonical" href="https://de.wikipedia.org/wiki/Allklasse"> <link href="./_mw_/ext.cite.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.math.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.wikimediamessages.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link href="./_mw_/ext.gadget.citeRef.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.defaultPlainlinks.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonHide.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonLayout.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonStyle.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiDarkmode.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiResponsive.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.specialSearch.css" rel="stylesheet" type="text/css">
<link rel="stylesheet" type="text/css" href="./_mw_/site.styles.css">
<link rel="stylesheet" type="text/css" href="./_mw_/noscript.css">
<link rel="stylesheet" type="text/css" href="./_res_/footer.css">
<link rel="stylesheet" type="text/css" href="./_res_/vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Allklasse rootpage-Allklasse skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Allklasse</span></h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="contentSub">
<div id="mw-content-subtitle"></div>
</div>
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p>Die <b>Allklasse</b> bezeichnet die <a href="Klasse_(Mengenlehre)" title="Klasse (Mengenlehre)">Klasse</a>, die alle Elemente einer mathematischen Theorie enthält; in der <a href="Mengenlehre" title="Mengenlehre">Mengenlehre</a> ist das die Klasse aller Mengen. Die Allklasse wird heute präzise definiert durch eine beliebige Eigenschaft, die alle Elemente erfüllen, das heißt, über eine <a href="Tautologie_(Logik)" title="Tautologie (Logik)">Tautologie</a>, also etwa als die <a href="Klasse_(Mengenlehre)" title="Klasse (Mengenlehre)">Klasse</a> <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{x\mid x=x\}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo fence="false" stretchy="false">{</mo>
<mi>x</mi>
<mo>∣<!-- ∣ --></mo>
<mi>x</mi>
<mo>=</mo>
<mi>x</mi>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \{x\mid x=x\}}</annotation>
</semantics>
</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/0f993b63644cdacf5a7b0b72fe66f57601fc4708.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:11.35ex; height:2.843ex;" alt="{\displaystyle \{x\mid x=x\}}" loading="lazy"></span> oder auch
<span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{x\mid \top \}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo fence="false" stretchy="false">{</mo>
<mi>x</mi>
<mo>∣<!-- ∣ --></mo>
<mi mathvariant="normal">⊤<!-- ⊤ --></mi>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \{x\mid \top \}}</annotation>
</semantics>
</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/46bd1873ef3ab32ffd9c622ad90c60fbb120493c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:7.4ex; height:2.843ex;" alt="{\displaystyle \{x\mid \top \}}" loading="lazy"></span>, <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{x\mid \bot \rightarrow \bot \}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo fence="false" stretchy="false">{</mo>
<mi>x</mi>
<mo>∣<!-- ∣ --></mo>
<mi mathvariant="normal">⊥<!-- ⊥ --></mi>
<mo stretchy="false">→<!-- → --></mo>
<mi mathvariant="normal">⊥<!-- ⊥ --></mi>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \{x\mid \bot \rightarrow \bot \}}</annotation>
</semantics>
</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/31db137ec5ed6494206f047da1c2ebcd01dbdd9d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:12.822ex; height:2.843ex;" alt="{\displaystyle \{x\mid \bot \rightarrow \bot \}}" loading="lazy"></span>.
</p><p>Die Allklasse wurde schon von <a href="Georg_Cantor" title="Georg Cantor">Georg Cantor</a> als „System aller denkbaren Klassen“ gebildet. Er zeigte 1899 mit einem <a href="Indirekter_Beweis" class="mw-redirect" title="Indirekter Beweis">indirekten Beweis</a>, dass die Allklasse keine <a href="Menge_(Mathematik)" title="Menge (Mathematik)">Menge</a> ist: Wäre nämlich die Allklasse eine Menge, dann wäre die <a href="Potenzmenge" title="Potenzmenge">Potenzmenge</a> der Allklasse eine Teilmenge der Allklasse und damit keine mächtigere Menge, wie es der <a href="Satz_von_Cantor" title="Satz von Cantor">Satz von Cantor</a> verlangt.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> Dieser Widerspruch ist die zweite <a href="Cantorsche_Antinomie" title="Cantorsche Antinomie">Cantorsche Antinomie</a>, die zeigt, dass es keine <i>Allmenge</i> oder Menge aller Mengen gibt, sondern dass diese Mengenbildung der <a href="Naive_Mengenlehre" title="Naive Mengenlehre">naiven Mengenlehre</a> widersprüchlich ist. Die Allklasse ist daher ein sehr einfaches Beispiel einer <a href="Klasse_(Mengenlehre)" title="Klasse (Mengenlehre)">echten Klasse</a>.
</p><p>Die Allklasse ist zu unterscheiden von der Russellschen Klasse, die bei der Einstufung als Menge die <a href="Russellsche_Antinomie" title="Russellsche Antinomie">Russellsche Antinomie</a> erzeugt. Im Rahmen üblicher Mengenlehren kann die Allklasse ebenfalls keine Menge sein, da dann aufgrund des <a href="Aussonderungsaxiom" title="Aussonderungsaxiom">Aussonderungsaxioms</a> die Russellsche Klasse ebenfalls eine Menge wäre. Da die meisten gängigen axiomatischen Mengenlehren das Aussonderungsaxiom oder ein Äquivalent beinhalten, ist in ihnen die Allklasse keine Menge, genauer gibt es keine Allmenge, das heißt
</p>
<dl><dd><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \exists A\forall B\quad B\in A}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi mathvariant="normal">∃<!-- ∃ --></mi>
<mi>A</mi>
<mi mathvariant="normal">∀<!-- ∀ --></mi>
<mi>B</mi>
<mspace width="1em"></mspace>
<mi>B</mi>
<mo>∈<!-- ∈ --></mo>
<mi>A</mi>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \exists A\forall B\quad B\in A}</annotation>
</semantics>
</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/48e770a620c098d6502b1417e3a6686a40cd657b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:14.763ex; height:2.176ex;" alt="{\displaystyle \exists A\forall B\quad B\in A}" loading="lazy"></span></dd></dl>
<p>ist in ihnen widerlegbar. Ebenfalls aufbauend auf dem Aussonderungsaxiom führt die <a href="Cantorsche_Antinomie" title="Cantorsche Antinomie">Cantorsche Antinomie</a> zum selben Ergebnis. Manche Mengenlehren erlauben allerdings den Umgang mit echten Klassen und damit auch der Allklasse als von den Mengen separaten Objekten (<i>siehe auch <a href="Klassenlogik" title="Klassenlogik">Klassenlogik</a></i>).
</p><p>Nimmt man das <a href="Fundierungsaxiom" title="Fundierungsaxiom">Fundierungsaxiom</a> an, wie es in der <a href="Zermelo-Fraenkel-Mengenlehre" title="Zermelo-Fraenkel-Mengenlehre">Zermelo-Fraenkel-Mengenlehre</a> und der <a href="Neumann-Bernays-G%C3%B6del-Mengenlehre" title="Neumann-Bernays-Gödel-Mengenlehre">Neumann-Bernays-Gödel-Mengenlehre</a> geschieht, so ist die Allklasse gleich der Russellschen Klasse.
</p>
<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>
<ul><li><a href="Arnold_Oberschelp" title="Arnold Oberschelp">Arnold Oberschelp</a>: <i>Allgemeine Mengenlehre.</i> BI-Wiss.-Verl., Mannheim / Leipzig / Wien / Zürich 1994, ISBN 3-411-17271-1.</li></ul>
<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>
<ol class="references">
<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text">Brief von Cantor an Dedekind vom 31. August 1899, in: Georg Cantor: <i>Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Mit erläuternden Anmerkungen sowie mit Ergänzungen aus dem Briefwechsel Cantor–Dedekind.</i> Herausgegeben von <a href="Ernst_Zermelo" title="Ernst Zermelo">Ernst Zermelo</a>. Nebst einem Lebenslauf Cantors von <a href="Adolf_Fraenkel" class="mw-redirect" title="Adolf Fraenkel">Adolf Fraenkel</a>. Springer, Berlin 1932, S. 448.</span>
</li>
</ol></div><!--htdig_noindex--><div><div class="zim-footer">
Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2024-04-12" href="https://de.wikipedia.org/wiki/?title=Allklasse&oldid=243974599">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
<script src="./_webp_/webpHandler.js"></script>
</body></html>